more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10147

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX ]

Full Idea

In 1938 Gödel proved that the Axiom of Choice is consistent with the other axioms of set theory.

Gist of Idea

The Axiom of Choice is consistent with the other axioms of set theory

Source

Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I)

Book Ref

Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.44

---

A Reaction

Hence people now standardly accept ZFC, rather than just ZF.